spanning subgraph